1

Effective Headlines of Newspaper Articles in a Digital Environment

Année:
2017
Langue:
english
Fichier:
PDF, 356 KB
english, 2017
2

Tolerance Logic

Année:
2001
Langue:
english
Fichier:
PDF, 131 KB
english, 2001
4

The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich

Année:
1999
Langue:
english
Fichier:
PDF, 30 KB
english, 1999
5

The quality of the XML Web

Année:
2013
Langue:
english
Fichier:
PDF, 1.26 MB
english, 2013
6

Hybrid Logics: Characterization, Interpolation and Complexity

Année:
2001
Langue:
english
Fichier:
PDF, 696 KB
english, 2001
7

Constructive interpolation in hybrid logic

Année:
2003
Langue:
english
Fichier:
PDF, 1.10 MB
english, 2003
8

Complete axiomatizations for XPath fragments

Année:
2010
Langue:
english
Fichier:
PDF, 317 KB
english, 2010
9

Relation algebras can tile

Année:
1999
Langue:
english
Fichier:
PDF, 162 KB
english, 1999
10

Repairing the interpolation theorem in quantified modal logic

Année:
2003
Langue:
english
Fichier:
PDF, 244 KB
english, 2003
11

Taming logic

Année:
1995
Langue:
english
Fichier:
PDF, 1.15 MB
english, 1995
12

Axiomatizing the Logical Core of XPath

Année:
2009
Langue:
english
Fichier:
PDF, 1.23 MB
english, 2009
14

Focused retrieval and result aggregation with political data

Année:
2010
Langue:
english
Fichier:
PDF, 755 KB
english, 2010
15

The Semijoin Algebra and the Guarded Fragment

Année:
2005
Langue:
english
Fichier:
PDF, 233 KB
english, 2005
16

An analysis of XQuery benchmarks

Année:
2008
Langue:
english
Fichier:
PDF, 1.28 MB
english, 2008
17

Regular equivalence and dynamic logic

Année:
2003
Langue:
english
Fichier:
PDF, 130 KB
english, 2003
18

Interpolation and Definability in Guarded Fragments

Année:
2002
Fichier:
PDF, 6.68 MB
2002
19

Remarks on Gregory's “Actually” Operator

Année:
2002
Langue:
english
Fichier:
PDF, 72 KB
english, 2002
20

An Elementary Construction for a Non-elementary Procedure

Année:
2002
Fichier:
PDF, 595 KB
2002
21

Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds

Année:
2002
Fichier:
PDF, 886 KB
2002
24

Constructive Interpolation in Hybrid Logic

Année:
2003
Langue:
english
Fichier:
PDF, 374 KB
english, 2003
27

Undecidable Relativizations of Algebras of Relations

Année:
1999
Langue:
english
Fichier:
PDF, 305 KB
english, 1999
31

Amalgamation in relation algebras

Année:
1998
Langue:
english
Fichier:
PDF, 442 KB
english, 1998
38

30 Years of PODS in facts and figures

Année:
2011
Langue:
english
Fichier:
PDF, 799 KB
english, 2011
47

Conditional XPath

Année:
2005
Langue:
english
Fichier:
PDF, 306 KB
english, 2005
49

Containment for queries over trees with attribute value comparisons

Année:
2016
Langue:
english
Fichier:
PDF, 419 KB
english, 2016
50

Semantic characterizations of navigational XPath

Année:
2005
Langue:
english
Fichier:
PDF, 287 KB
english, 2005